#include <stdint.h>

/* Log configuration */
// #include "sys/log.h"
// #define LOG_MODULE "RPL"
// #define LOG_LEVEL LOG_LEVEL_RPL

// typedef unsigned char uint8_t;
// typedef unsigned short uint16_t;
// typedef unsigned int uint32_t;
// typedef unsigned long long uint64_t;

// #define UINT8_MAX 0xff
// #define UINT16_MAX 0xffff
// #define UINT32_MAX 0xffffffff
// #define UINT64_MAX 0xffffffffffffffff

void setUInt16(uint8_t *data, uint16_t val);
uint16_t getUInt16(const uint8_t *data);